例文Supplemental facilities include debug unit for real - time debugging , high resolution tick timer , programmable interrupt controller and power management support